язык логики